Nuprl Definition : bool 12,41
 == ?Unit 
latex

clarification:

 == Unit + Unit 
latex

Definitionsleft + right, Unit
FDL editor aliasesbool

origin